71![MPA Science Brief: What Does the Science Say? DO “NO-TAKE” MARINE RESERVES BENEFIT ADJACENT FISHERIES? Despite using conventional fishery management tools such as changes in gear used, use of short-term closures, an MPA Science Brief: What Does the Science Say? DO “NO-TAKE” MARINE RESERVES BENEFIT ADJACENT FISHERIES? Despite using conventional fishery management tools such as changes in gear used, use of short-term closures, an](https://www.pdfsearch.io/img/2db79e240e45e36c0fa43807a33c962a.jpg) | Add to Reading ListSource URL: nmsmarineprotectedareas.blob.core.windows.netLanguage: English - Date: 2017-07-31 07:00:56
|
---|
72![SLIM: Mmap from the Cloud to Device, and Back Jinghao Shi◦ Mingyuan Xia† Ming Wu‡ Lintao Zhang‡ Zheng Zhang‡ ◦ University of Science and Technology of China SLIM: Mmap from the Cloud to Device, and Back Jinghao Shi◦ Mingyuan Xia† Ming Wu‡ Lintao Zhang‡ Zheng Zhang‡ ◦ University of Science and Technology of China](https://www.pdfsearch.io/img/55118eb949e727be196ac11c88464f22.jpg) | Add to Reading ListSource URL: apsys11.ucsd.eduLanguage: English - Date: 2011-07-04 13:02:25
|
---|
73![Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering](https://www.pdfsearch.io/img/0112752db4209f5a7d4a09c44ef21a3d.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
74![Press Release April 11, 2013 New versions of WS-PGRADE/gUSE and the CloudBroker Platform provide extended cloud access for science gateways Press Release April 11, 2013 New versions of WS-PGRADE/gUSE and the CloudBroker Platform provide extended cloud access for science gateways](https://www.pdfsearch.io/img/bf5ec4ec2a01645d01b5e066ffa8b7fc.jpg) | Add to Reading ListSource URL: www.cloudbroker.comLanguage: English - Date: 2013-04-11 05:33:26
|
---|
75![Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/d3806e7796914b021a0865e272fe5394.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-01-06 05:40:55
|
---|
76![CSAS SCCS Canadian Science Advisory Secretariat CSAS SCCS Canadian Science Advisory Secretariat](https://www.pdfsearch.io/img/81b7eeb36b2f95cb63ea0902d76c76bb.jpg) | Add to Reading ListSource URL: biblio.uqar.caLanguage: English - Date: 2011-03-31 11:34:05
|
---|
77![A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA](https://www.pdfsearch.io/img/7bc93c59dd33a3d24153d602e0c589a2.jpg) | Add to Reading ListSource URL: www.karlin.mff.cuni.czLanguage: English - Date: 2011-12-13 09:31:41
|
---|
78![Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg](https://www.pdfsearch.io/img/5a52f1f76ece8da184e8bf977a48beee.jpg) | Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduLanguage: English - Date: 2017-09-02 14:08:49
|
---|
79![Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch](https://www.pdfsearch.io/img/9560f0d52d05b6b0fa9949fb0195d314.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:55:58
|
---|
80![STEP-C WEBSITE GENERAL TERMS OF USE The content(s) of any and all website(s) of the Science and Technology Park of Crete (STEP-C), are subject to the present general terms and conditions of use in addition to any other s STEP-C WEBSITE GENERAL TERMS OF USE The content(s) of any and all website(s) of the Science and Technology Park of Crete (STEP-C), are subject to the present general terms and conditions of use in addition to any other s](https://www.pdfsearch.io/img/085a47806ea23d73498aee015f224a79.jpg) | Add to Reading ListSource URL: www.stepc.grLanguage: English - Date: 2018-06-26 03:32:53
|
---|